a implies b gate

A 蕴含 B 闸